Enter a word or phrase in any language 👆
Language:
Translation and analysis of words by ChatGPT artificial intelligence
On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:
- how the word is used
- frequency of use
- it is used more often in oral or written speech
- word translation options
- usage examples (several phrases with translation)
- etymology
axiom scheme - translation to russian
A FORMULA IN THE METALANGUAGE OF AN AXIOMATIC SYSTEM IN WHICH ONE OR MORE SCHEMATIC VARIABLES APPEAR
Axiom scheme; Axiom schemata; Axiom-scheme; Finite axiomatization
axiom scheme
математика
система аксиом
finite axiomatization
математика
конечная аксиоматизация
comprehension axiom
AXIOM SCHEMA
Axiom of specification; Axiom of separation; Axiom schema of separation; Axiom schema of comprehension; Axiom of comprehension; Unrestricted comprehension; Axiom of abstraction; Axiom of subsets; Axioms of subsets; Subset axiom; Axiom schema of restricted comprehension; Comprehension axiom; Aussonderungsaxiom; Axiom schema of unrestricted comprehension; Unrestricted comprehension principle
математика
аксиома выделения
Definition
Axiom of Comprehension
<mathematics> An axiom schema of set theory which states:
if P(x) is a property then
x : P
is a set. I.e. all the things with some property form a set.
Acceptance of this axiom leads to Russell's Paradox which is
why Zermelo set theory replaces it with a restricted form.
(1995-03-31)
Wikipedia
Axiom schema
In mathematical logic, an axiom schema (plural: axiom schemata or axiom schemas) generalizes the notion of axiom.
